((With $x$ (D 5)) 
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$